Mixed linear and non-linear recursive types
نویسندگان
چکیده
منابع مشابه
on the effect of linear & non-linear texts on students comprehension and recalling
چکیده ندارد.
15 صفحه اولNon-Linear Mixed Logit
We develop an extension of the familiar linear mixed logit model to allow for the direct estimation of parametric non-linear functions defined over structural parameters. Classic applications include the estimation of coefficients of utility functions to characterize risk attitudes and discounting functions to characterize impatience. There are several unexpected benefits of this extension, apa...
متن کاملEquivalence-motivated non-linear recursive estimation
Recursive non-linear Bayesian estimation is addressed using equivalence approach as motivating framework. Its specific form – tailored to a model class covering non-normal ARX (auto-regression with exogenous variables) models, models with discrete outputs and continuous-valued regression vectors and their dynamic mixtures – is presented. The resulting algorithms provide efficient solutions of d...
متن کاملSystem E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types
Types are often used to control and analyze computer programs. Intersection types give a type system great flexibility, but have been difficult to implement. The ! operator, used to distinguish between linear and non-linear types, has good potential for improving tracking of resource usage, but has not been as flexible as one might want and has been difficult to use in compositional analysis. W...
متن کاملNon Uniform Rational B Spline (NURBS) Based Non-Linear Analysis of Straight Beams with Mixed Formulations
Displacement finite element models of various beam theories have been developed traditionally using conventional finite element basis functions (i.e., cubic Hermite, equi-spaced Lagrange interpolation functions, or spectral/hp Legendre functions). Various finite element models of beams differ from each other in the choice of the interpolation functions used for the transverse deflection w, tota...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2019
ISSN: 2475-1421
DOI: 10.1145/3341715